Search results for "model [interaction]"
showing 10 items of 1495 documents
Optimal paths in weighted timed automata
2004
AbstractWe consider the optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this optimization problem consists of reducing it to computing (parametric) shortest paths in a finite weighted directed graph. We call this graph a parametric sub-region graph. It refines the region graph, a standard tool for the analysis of timed automata, by adding the information which is relevant to solving the optimal-reachability problem. We present an algorithm to solve the optimal-reachability problem for weighted timed automata that takes time exponential in O(n(|δ(A)|+|wmax|)), where n is the number of clock…
The fixed point property for mappings admitting a center
2007
Abstract We introduce a class of nonlinear continuous mappings in Banach spaces which allow us to characterize the Banach spaces without noncompact flat parts in their spheres as those that have the fixed point property for this type of mapping. Later on, we give an application to the existence of zeroes for certain kinds of accretive operators.
Weibull Model for Dynamic Pricing in e-Business
2011
As is the case with traditional markets, the sellers on the Internet do not usually know the demand functions of their customers. However, in such a digital environment, a seller can experiment different prices in order to maximize his profits. In this paper, we develop a dynamic pricing model to solve the pricing problem of a Web-store, where seller sets a fixed price and buyer either accepts or doesn’t buy. Frequent price changes occur due to current market conditions. The model is based on the two-parameter Weibull distribution (indexed by scale and shape parameters), which is used as the underlying distribution of a random variable X representing the amount of revenue received in the sp…
Property (R) for Bounded Linear Operators
2011
We introduce the spectral property (R), for bounded linear operators defined on a Banach space, which is related to Weyl type theorems. This property is also studied in the framework of polaroid, or left polaroid, operators.
Functional Calculus and Fredholm Criteria for Boundary Value Problems on Noncompact Manifolds
1992
A Boutet de Monvel type calculus is developed for boundary value problems on (possibly) noncompact manifolds. It is based on a class of weighted symbols and Sobolev spaces. If the underlying manifold is compact, one recovers the standard calculus. The following is proven:
On certain linear operators in spaces of ultradifferentiable functions
1996
Let ω be a weight in the sense of Braun, Meise, Taylor, which defines a non-quasianalytic class. Let H be a compact subset of ℝn. It is proved that for every function ƒ on ℝn which belongs to the non-quasianalytic (ω)-class, there is an element g of the same class which is analytic on ℝn\H and such that Dαƒ(x) = Dαg(x) for every x ∈ H and α ∈ ℕ0n. A similar result is proved for functions of the Roumieu type. Continuous linear extension operators of Whitney jets with additional properties are also obtained.
Haar Type and Carleson Constants
2009
For a collection ℰ of dyadic intervals, a Banach space X, and p∈(1, 2], we assume the upper l p estimates where x I ∈X, and h I denotes the L ∞ normalized Haar function supported on I. We determine the minimal requirement on the size of ℰ such that these estimates imply that X is of Haar type p. The characterization is given in terms of the Carleson constant of ℰ.
Fixed point theorems for -contractive type mappings
2012
Abstract In this paper, we introduce a new concept of α – ψ -contractive type mappings and establish fixed point theorems for such mappings in complete metric spaces. Starting from the Banach contraction principle, the presented theorems extend, generalize and improve many existing results in the literature. Moreover, some examples and applications to ordinary differential equations are given here to illustrate the usability of the obtained results.
Fixed point for cyclic weak (\psi, C)-contractions in 0-complete partial metric spaces
2013
In this paper, following (W.A. Kirk, P.S. Srinivasan, P. Veeramani, Fixed points for mappings satisfying cyclical contractive conditions, Fixed Point Theory, 4 (2003), 79-89), we give a fixed point result for cyclic weak (ψ,C)-contractions on partial metric space. A Maia type fixed point theorem for cyclic weak (ψ,C)-contractions is also given.
A general concept of fuzzy connectives, negations and implications based on t-norms and t-conorms
1983
All known connectives 'and'/'or' for fuzzy sets or some classes can be introduced as t-norms/t-conorms, where Ling's representation theorem is used as a basic tool, and which is illustrated by various known and new examples (Section 2). Given a strict negation function and one connective, the other can be constructed, so that the corresponding De Morgan law is valid. In case of given Archimedean connectives, there can be constructed negation functions (Section 3). Given a non-strict Archimedean connective, a negation function and the other connective can be constructed, so that in addition to the De Morgan laws, the excluded middle law and the law of non-contradiction are valid, i.e. the ne…